/**
 * Access to PEPA-to-PRISM model translation.
 */
package com.prism.e4.rcp.pepa.compiler;